$\forall$$r$,$s$:rationals. ($\uparrow$qpositive($r$)) $\Rightarrow$ ($\uparrow$qpositive($s$)) $\Rightarrow$ ($\uparrow$qpositive(($r$ + $s$)))